| author | Michael Albinus <michael.albinus@gmx.de> | |
| Tue, 5 Nov 2019 11:58:47 +0000 (12:58 +0100) | ||
| committer | Michael Albinus <michael.albinus@gmx.de> | |
| Tue, 5 Nov 2019 11:58:47 +0000 (12:58 +0100) | ||
| commit | d270d7d4ad8693202777ce29363947d38899bf6c | |
| tree | cc856043bb2580bf90e1c22018f3b0fce76f916f | tree | snapshot |
| parent | 91c732f687a61ba130acf38d5142bec6369ebd68 | commit | diff |